861. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
862. Topics in cryptology -- CT-RSA 2018 :
پدیدآورنده : Nigel P. Smart (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
863. Towards Engineering Computer Vision Systems:
پدیدآورنده : Taheri, Sajjad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
864. Towards Evolvable Hardware :
پدیدآورنده : edited by Eduardo Sanchez, Marco Tomassini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
865. Towards Trustworthy Elections: New Directions in Electronic Voting
پدیدآورنده : / Ed Gerck (auth.), David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
866. Traffic Monitoring and Analysis: Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings
پدیدآورنده : / Pascual, Yuval Shavitt, Steve Uhlig (eds.)-Najjary (auth.), Jordi Domingo-Keller, Taoufik En-Marcin Pietrzyk, Louis Plissonneau, Guillaume Urvoy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
867. Transactions on Computational Collective Intelligence II
پدیدآورنده : / Grzegorz J. Nalepa, Weronika T. Furmaska (auth.), Ngoc Thanh Nguyen, Ryszard Kowalczyk (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
868. Transactions on Computational Science X: Special Issue on Security in Computing, Part I
پدیدآورنده : / Luca Compagna, Paul El Khoury, Fabio Massacci (auth.), Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
869. Transactions on Data Hiding and Multimedia Security VI
پدیدآورنده : / Fu Chang, Regunathan Radhakrishnan, Fulong Ma, Li Zhao (eds.)-Tsong Ng, Wei Su (auth.), Yun Q. Shi, Sabu Emmanuel, Mohan S. Kankanhalli, Shih-Patchara Sutthiwan, Yun Q. Shi, Hong Zhao, Tian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
870. Transactions on Petri Nets and Other Models of Concurrency IV
پدیدآورنده : / rg Desel (auth.), Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)Jن
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
871. Transactions on computational collective intelligence V
پدیدآورنده : / Ali Selamat (auth.), Ngoc Thanh Nguyen (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
872. Transactions on large-scale data- and knowledge-centered systems XXXVII /
پدیدآورنده : edited by Abdelkader Hameurlain, Roland Wagner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
873. Trends in Functional Programming :
پدیدآورنده : edited by Jay McCarthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
62
E358
2014
874. 27, 2011, Tutorial Lectures-Reasoning Web. Semantic Technologies for the Web of Data: 7th International Summer School 2011, Galway, Ireland, August 23
پدیدآورنده : / Schneider (eds.)-Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter Patelبren Auer, Jens Lehmann (auth.), Axel Polleres, Claudia dSن
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
875. Type Theory and Formal Proof: An Introduction
پدیدآورنده : / Professor Rob Nederpelt, Professor Herman Geuvers
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
876. UNIX, C und Internet :
پدیدآورنده : von Wulf Alex, Gerhard Bernör.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
QA76
.
76
.
O63
V669
1994
877. UNIX-Systemadministration :
پدیدآورنده : von Konrad Heuer, Reinhard Sippel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
878. Ubiquitous and pervasive commerce :
پدیدآورنده : George Roussos (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic commerce.,Ubiquitous computing.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Comercio electrónico.,Computación omnipresente.,Electronic Commerce,Electronic commerce.,Electronic commerce.,Informatique.,Ubiquitous Computing,Ubiquitous computing.,Ubiquitous computing.
رده :
HF5548
.
32
.
U35
2006eb
879. Ubiquitous communications and network computing :
پدیدآورنده : Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
880. Using OpenMP - the next step :
پدیدآورنده : Ruud van der Pas, Eric Stotzer, and Christian Terboven.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : OpenMP (Application program interface),OpenMP (Application program interface),Application program interfaces (Computer software),Parallel programming (Computer science),Application program interfaces (Computer software),Parallel programming (Computer science)
رده :
QA76
.
642
.
P427
2017
